Fix info/DIR generation broken by update to Org manual
authorEli Zaretskii <eliz@gnu.org>
Wed, 12 Jun 2024 08:46:36 +0000 (11:46 +0300)
committerEli Zaretskii <eliz@gnu.org>
Wed, 12 Jun 2024 08:46:36 +0000 (11:46 +0300)
commiteb5aafb0f4cf7d2f5f12e2eb3a4324c3d5834db7
tree6d580c3e976f5192961525fbb614a96cebb2eb43
parentaf9bf86bd74d36f3a94187a47986efe0e2703a73
Fix info/DIR generation broken by update to Org manual

* build-aux/make-info-dir: Adapt to latest changes in Org manual's
markup.
build-aux/make-info-dir